<HTML><HEAD><TITLE>reals(?Vars)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>reals(?Vars)</H1>
Vars' domain is the real numbers.
<DL>
<DT><EM>Vars</EM></DT>
<DD>Variable or number, or a list or submatrix of variables/numbers
</DD>
</DL>
<H2>Description</H2>
<P>
   Constrain the domain of the variables to be the real numbers.  This is
   the default, so the declaration is optional.</P><P>

   Note that the notion of real numbers is used here in the pure
   mathematical sense, where real numbers subsume the integers.  A variable
   of type real can therefore be instantated to either a real number (floating
   point or bounded real) or an integer number.  If the variables are already
   instantiated, this call checks that the variable is instantiated to a
   number.</P>

<H3>Modes and Determinism</H3><UL>
<LI>reals(-) is det
<LI>reals(+) is det
</UL>
<H2>See Also</H2>
<A HREF="../../lib/ic/integers-1.html">integers / 1</A>, <A HREF="../../lib/suspend/reals-1.html">suspend : reals / 1</A>, <A HREF="../../lib/ic_kernel/index.html">ic_kernel : reals / 1</A>, <A HREF="../../lib/eplex/reals-1.html">eplex : reals / 1</A>
</BODY></HTML>
